type bool =
  | True
  | False;
